1

Game Logic and Game Algebra || Game Logic Is Strong Enough for Parity Games

Dietmar Berwanger
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 1.54 MB
english, 2003
5

Information Tracking in Games on Graphs

Dietmar Berwanger, Łukasz Kaiser
Journal:
Journal of Logic, Language and Information
Year:
2010
Language:
english
File:
PDF, 278 KB
english, 2010
6

Parity games on undirected graphs

Dietmar Berwanger, Olivier Serre
Journal:
Information Processing Letters
Year:
2012
Language:
english
File:
PDF, 200 KB
english, 2012
7

Fixed-Point Logics and Solitaire Games

Dietmar Berwanger, Erich Grädel
Journal:
Theory of Computing Systems
Year:
2004
Language:
english
File:
PDF, 288 KB
english, 2004
9

Infinite games with finite knowledge gaps

Berwanger, Dietmar, Mathew, Anup Basil
Journal:
Information and Computation
Year:
2016
Language:
english
File:
PDF, 1.15 MB
english, 2016
10

The Variable Hierarchy of the μ-Calculus Is Strict

Dietmar Berwanger, Erich Gradel, Giacomo Lenzi
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 391 KB
english, 2007
11

The dag-width of directed graphs

Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdržálek
Journal:
Journal of Combinatorial Theory, Series B
Year:
2012
Language:
english
File:
PDF, 346 KB
english, 2012